(0 7 4)(1 11 3)(2 13 5)(6 14 10)(8 16 9)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (9 11 16)
(0 7 4)(1 11 8 16 3)(2 13 5)(6 14 10)(9)(12 17 15)
2: (3 8 16)
(0 7 4)(1 11 8)(2 13 5)(3)(6 14 10)(9)(12 17 15)(16)
3: (2 13 5)
(0 7 4)(1 11 8)(2)(3)(5)(6 14 10)(9)(12 17 15)(13)(16)
4: (12 17 15)
(0 7 4)(1 11 8)(2)(3)(5)(6 14 10)(9)(12)(13)(15)(16)(17)